# -*- mode: snippet -*-
# name: Set Default Proof Mode
# --
Set Default Proof Mode
